- branching order
- мат.порядок ветвления
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Branching (linguistics) — In linguistics, branching is the general tendency towards a given order of words within sentences and smaller grammatical units within sentences (such as subordinate propositions, prepositional phrases, etc.). Such ordering and nesting of phrases … Wikipedia
Branching quantifier — In logic a branching quantifier is a partial ordering :langle Qx 1dots Qx n angle of quantifiers for Q∈{∀,∃}. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable x bound by a quantifier Q depends on the… … Wikipedia
order Coniferales — noun profusely branching and chiefly evergreen trees and some shrubs having narrow or needlelike leaves • Syn: ↑Coniferales • Hypernyms: ↑plant order • Member Holonyms: ↑Coniferopsida, ↑class Coniferopsida, ↑Coniferophytina, ↑ … Useful english dictionary
order Heterotrichales — noun yellow green algae with simple or branching filaments; comprising the single family Tribonemaceae • Syn: ↑Heterotrichales • Hypernyms: ↑protoctist order • Member Holonyms: ↑Chrysophyta, ↑division Chrysophyta … Useful english dictionary
Word order — Linguistic typology Morphological Isolating Synthetic Polysynthetic Fusional Agglutinative Morphosyntactic Alig … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Bacterial phyla — … Wikipedia
Dynamic antisymmetry — Antisymmetry is a theory of syntactic linearization presented in Richard Kayne s 1994 monograph The Antisymmetry of Syntax. The crux of this theory is that hierarchical structure in natural language maps universally onto a particular surface… … Wikipedia
Phylogenetic comparative methods — When applied to comparative data, conventional statistical methods assume, in effect, that all species are completely unrelated. As if they descended from a big bang of special creation. Such a scenario can be depicted as a star phylogeny (left) … Wikipedia